gnome-shell-extension

keymapper

A cross-platform context-aware key remapper

Details